((v1 v1 9) (v2 v2 5))
13
()